Is Ada a good candidate for multiprocessor systems?

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

Pay-for-performance: is medicare a good candidate?

According to one prominent study, adults in the United States receive the generally accepted standard of preventive, acute, and chronic care only about 55% of the time. The likelihood that patients will receive recommended care “varie[s] substantially according to the particular medical condition, ranging from 78.7 percent of recommended care . . . for senile cataract to 10.5 percent of recomme...

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

Motivation Multiprocessor and multicore platforms are becoming widespread For real-time systems the control of affinities is as important as the control of priorities Ada05 allows, but does not support, multiprocessor execution Reliable Software Technology – p. 2/26

A Semantics for Multiprocessor Systems

In this paper we present a multiprocessor semantics for CCS [Mil80]. An operational semantics for processes under a nite number of processors is developed. The e ect of adding or removing processors from the system is studied. A notion of strong bisimulation induced by the new semantics is de ned. Issues related to a complete axiomatization of this congruence are examined and a complete equatio...

Candidate reuse metrics for object oriented and Ada software

Reuse of existing software components plays an important role in increasing the quality of software products and the productivity of software development. The measurement of levels of software reuse is necessary to monitor improvements in software reuse. This paper presents a set of measurable reuse attributes appropriate to object oriented systems, and a suite of metrics which quantify these a...